GRIDS - GRaph - based , Integrated Development of Software : Integrating Di erent Perspectives of Software

Goal of the GRIDS project is to provide a formally based, multi-dimensional software engineering model-and tool-that integrates \partial" models of software processes, system architectures, and views onto the system into one consistent project framework, in order to enhance real-life, large-scale software development. In this paper, we rst introduce the static part of the so-called Three-Dimensional Model of Software Engineering (3DM), which captures and structures partial models, integrated project frameworks, and other relevant project information. We further describe the dynamic part of the 3DM , which provides the necessary actions to generate, manipulate and maintain the entities of the static part. Using the programmed graph rewriting system PROGRES gives us a powerful means to formally specify our conceptual model. We show how we apply PROGRES to formalize the 3DM , and present the prototype of a tool, generated from the formal speciication of the static and dynamic parts of the 3DM .